(format t "Hola, mundo!")
